Software standard

Results: 6083



#Item
471Procedural programming languages / Functional languages / Linux / RTAI / Standard ML / RTLinux / ML / Type safety / Scheduling / Computing / Software / Real-time operating systems

Jeremy PennerSupervisor: Michael Zapp

Add to Reading List

Source URL: www.sporktania.com

Language: English - Date: 2006-03-17 20:56:41
472XML / Standard Generalized Markup Language / Document Type Definition / Adobe FrameMaker / HTML / MathML / LaTeX / DocBook / SoftQuad Software / Computing / Markup languages / Technical communication

The Euromath System – the WYSIWYG structured XML editor, browser, . . . ´ J. Guricˇ an J. Chleb´ıkova,

Add to Reading List

Source URL: www.ntg.nl

Language: English - Date: 2001-10-10 10:12:05
473Computing / Computer programming / Software engineering / Allocator / Alexandrescu / C dynamic memory allocation / New / Free list / Region-based memory management / Memory management / C++ Standard Library / C++

Memory Allocation: Either Love It or Hate It (or just think it’s okay) Andrei Alexandrescu cAndrei Alexandrescu

Add to Reading List

Source URL: accu.org

Language: English - Date: 2008-04-14 03:49:51
474C++ Standard Library / C++ / Iterator / Sequence container / Microsoft Visual Studio / C Sharp / Allocator / Set / C / Computing / Computer programming / Software engineering

CodeValue C o lleg e Modern C++ Development with C++ 11 Course Summary Table Duration:

Add to Reading List

Source URL: www.codevalue.net

Language: English - Date: 2014-09-16 07:26:54
475Functional languages / Data types / C++ Standard Library / Boolean algebra / Boolean data type / Scala / Sequence container / Operator overloading / Id / Computing / Software engineering / Computer programming

Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil

Add to Reading List

Source URL: slick.typesafe.com

Language: English - Date: 2015-05-08 12:55:33
476Programming language implementation / Cross-platform software / Procedural programming languages / C Standard Library / PaX / Address space layout randomization / Software bugs / JIT spraying / Compiler optimization / Computing / Software engineering / Software

SoK: Automated Software Diversity Per Larsen, Andrei Homescu, Stefan Brunthaler, Michael Franz University of California, Irvine Abstract—The idea of automatic software diversity is at least two decades old. The defici

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2014-04-21 13:48:10
477Compiling tools / Build automation / Scripting languages / System administration / Make / Cd / Xcode / Literate programming / Filesystem Hierarchy Standard / Software / Computing / Unix

§1 1. READMEV1.1 COMMENTS ON Yac2 o2 ’S

Add to Reading List

Source URL: ctan.sharelatex.com

Language: English - Date: 2015-02-16 10:00:44
478Functional languages / Recursion / Data types / Type theory / Procedural programming languages / Standard ML / OCaml / Caml / Module / Software engineering / Computer programming / Computing

A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2012-04-16 05:17:54
479X86 architecture / Cryptographic software / AES instruction set / Advanced Encryption Standard / OpenSSL / X86-64 / X86 / Itanium / Xeon / Computer architecture / Computing / Instruction set architectures

OpenSSL FIPS Object Module VersionBy the OpenSSL Software Foundation

Add to Reading List

Source URL: openssl.org

Language: English - Date: 2014-06-06 13:16:17
UPDATE